Рассматривается методика формализации нечетких предикатов совместно с четкими логическими переменными для спецификации нечетких логико-динамических ситуаций и четких логических действий (дискретных команд). Методика основана на представлении четких и нечетких логических переменных с помощью функций принадлежности и на применении правил нечеткого вывода. При этом использовались только формы представления нечетких логических функций пригодные также и для представления четких логических функций. На примерах показана возможность применения рассматриваемой методики для компьютерной реализации гибридных процессов.
Рассматриваются возможности использования основанного на трансформационных правилах транзитивного подхода для спецификации и компьютерной реализации непрерывных процессов. На примерах показаны приемы преобразования исходных спецификаций процессов в спецификации в виде совокупности трансформационных правил. В качестве исходных рассмотрены спецификации в виде физической модели, структурной схемы динамических звеньев, в виде обыкновенных дифференциальных уравнений. Приведенные примеры демонстрируют простоту, наглядность и универсальность рассматриваемого подхода. Кратко обсуждаются вопросы реализации процессов, специфицированных с помощью правил. Полученные модельные реализации процессов оцениваются с помощью аналитических методов, а также сравниваются с численными решениями, найденными с помощью Matlab и MathCad.
Приводится определение логико-динамической ситуации, используемое при спецификации функционирования гибридных динамических систем, в том числе гибридных систем управления. Обсуждается влияние случайных воздействий на поведение систем. Рассматриваются методы оценки вероятностей возникновения ситуаций, основанные на оценках статистических характеристик случайных процессов. Показаны способы использования этих оценок вероятностей для целей управления и поддержки принятия решений. Приводятся результаты экспериментального исследования рассматриваемых методов.
Рассматриваются возможности использования подхода, основанного на транзитивных (трансформационных) правилах формализма спецификации детерминированных процессов, для реализации случайных процессов и оценки их характеристик. Приводится краткое описание формализма и способы его применения для моделирования динамических систем при наличии случайных воздействий. Обсуждаются методы реализации случайных процессов с заданными статистическими свойствами и методы оценки числовых характеристик и корреляционных функций эргодических случайных процессов. Представлены примеры реализации случайных процессов и результаты оценки их характеристик и корреляционных функций.
Подход основан на использовании известного ситуационно-событийного формализма спецификации взаимодействующих гибридных процессов. Приводится краткое описание формализма, отмечаются достоинства его применения для компьютерной реализации динамических систем и обсуждаются возможности его использования для автоматической координации процессов. Рассматриваются основанные на этом формализме методы координации гибридных процессов и особенности их использования. Представлены примеры реализации систем автоматической координации, иллюстрирующие применение некоторых методов.
Обсуждаются преимущества представления моделей сложных динамических систем в виде иерархического комплекса взаимодействующих моделей отдельных подсистем. Предлагается холоническая структура комплекса и расширенный ситуационно-событийный формализм спецификации гибридных процессов, который позволяет обеспечить спецификацию процессов в моделях с учетом взаимодействия моделей между собой и с внешней средой. Показано, что предложенный формализм позволяет моделировать структурные изменения систем. Рассматриваются некоторые вопросы реализации подобного комплекса моделей. Приводится иллюстративный пример комплекса моделей, реализованного на основе предложенного формализма. Комплекс обеспечивает моделирование автоматической координации процессов в двух автоматических системах позиционирования ролика на плоскости.
1 - 6 из 6 результатов